package net.zarubsys.unianalyzer.dataviews.lpt.gui.graph.preferences;

import org.eclipse.jface.preference.*;
import org.eclipse.ui.IWorkbenchPreferencePage;
import org.eclipse.ui.IWorkbench;
import net.zarubsys.unianalyzer.dataviews.lpt.gui.graph.utils.GraphEditorPlugin;

/**
 * This class represents a preference page that
 * is contributed to the Preferences dialog. By 
 * subclassing <samp>FieldEditorPreferencePage</samp>, we
 * can use the field support built into JFace that allows
 * us to create a page that is small and knows how to 
 * save, restore and apply itself.
 * <p>
 * This page is used to modify preferences only. They
 * are stored in the preference store that belongs to
 * the main plug-in class. That way, preferences can
 * be accessed directly via the preference store.
 */

public class GraphPreferencePage 
	extends FieldEditorPreferencePage
	implements IWorkbenchPreferencePage {

	public GraphPreferencePage () {
		super(GRID);
		setPreferenceStore(GraphEditorPlugin.getDefault().getPreferenceStore());
		setDescription("A demonstration of a preference page implementation");
	}
	
	/**
	 * Creates the field editors. Field editors are abstractions of
	 * the common GUI blocks needed to manipulate various types
	 * of preferences. Each field editor knows how to save and
	 * restore itself.
	 */
	public void createFieldEditors() {
		addField(new IntegerFieldEditor(PreferenceConstants.DEFAULT_SAMPLES_PER_PAGE, 
				"&Samples per page:", getFieldEditorParent()));
		addField(new IntegerFieldEditor(PreferenceConstants.JUMP_SIZE, 
				"&Jump size:", getFieldEditorParent()));
		addField(new IntegerFieldEditor(PreferenceConstants.MAX_ZOOM, 
				"Ma&ximal count of samples per page:", getFieldEditorParent()));
		addField(new IntegerFieldEditor(PreferenceConstants.MIN_ZOOM, 
				"Mi&nimal count of samples per page:", getFieldEditorParent()));
		addField(new RadioGroupFieldEditor(PreferenceConstants.DEFAULT_TIME_STYLE,
			"Default time units",
			1,
			new String[][] {{ "s", "1" }, {"ms", "1000"}, {"\u00B5s", "1000000"}},
			getFieldEditorParent()));
		addField(new RadioGroupFieldEditor(PreferenceConstants.DEFAULT_VALUE_STYLE,
			"Default value form",
			1,
			new String[][] {{ "Decimal", "1" }, {"Hex", "2"}, {"Binary", "3"}},
			getFieldEditorParent()));
	}

	/* (non-Javadoc)
	 * @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
	 */
	public void init(IWorkbench workbench) {
	}
	
}